derivative of log x by first principle